proof of sufficiency

[数] 充分性证明